Optimal. Leaf size=323 \[ \frac{\left (-\frac{2 a^2 c e-a b^2 e-3 a b c d+b^3 d}{\sqrt{b^2-4 a c}}-a b e-a c d+b^2 d\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} c^{3/2} \sqrt{b-\sqrt{b^2-4 a c}} \left (a e^2-b d e+c d^2\right )}+\frac{\left (\frac{2 a^2 c e-a b^2 e-3 a b c d+b^3 d}{\sqrt{b^2-4 a c}}-a b e-a c d+b^2 d\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{\sqrt{2} c^{3/2} \sqrt{\sqrt{b^2-4 a c}+b} \left (a e^2-b d e+c d^2\right )}-\frac{d^{5/2} \tan ^{-1}\left (\frac{\sqrt{e} x}{\sqrt{d}}\right )}{e^{3/2} \left (a e^2-b d e+c d^2\right )}+\frac{x}{c e} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 3.296, antiderivative size = 323, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 3, integrand size = 27, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.111 \[ \frac{\left (-\frac{2 a^2 c e-a b^2 e-3 a b c d+b^3 d}{\sqrt{b^2-4 a c}}-a b e-a c d+b^2 d\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} c^{3/2} \sqrt{b-\sqrt{b^2-4 a c}} \left (a e^2-b d e+c d^2\right )}+\frac{\left (\frac{2 a^2 c e-a b^2 e-3 a b c d+b^3 d}{\sqrt{b^2-4 a c}}-a b e-a c d+b^2 d\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{\sqrt{2} c^{3/2} \sqrt{\sqrt{b^2-4 a c}+b} \left (a e^2-b d e+c d^2\right )}-\frac{d^{5/2} \tan ^{-1}\left (\frac{\sqrt{e} x}{\sqrt{d}}\right )}{e^{3/2} \left (a e^2-b d e+c d^2\right )}+\frac{x}{c e} \]
Antiderivative was successfully verified.
[In] Int[x^6/((d + e*x^2)*(a + b*x^2 + c*x^4)),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F] time = 0., size = 0, normalized size = 0. \[ - \frac{d^{\frac{5}{2}} \operatorname{atan}{\left (\frac{\sqrt{e} x}{\sqrt{d}} \right )}}{e^{\frac{3}{2}} \left (a e^{2} - b d e + c d^{2}\right )} + \frac{\int \frac{1}{c}\, dx}{e} + \frac{\sqrt{2} \left (2 a c \left (a e - b d\right ) + b \left (- a b e - a c d + b^{2} d\right ) + \sqrt{- 4 a c + b^{2}} \left (- a b e - a c d + b^{2} d\right )\right ) \operatorname{atan}{\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b + \sqrt{- 4 a c + b^{2}}}} \right )}}{2 c^{\frac{3}{2}} \sqrt{b + \sqrt{- 4 a c + b^{2}}} \sqrt{- 4 a c + b^{2}} \left (a e^{2} - b d e + c d^{2}\right )} - \frac{\sqrt{2} \left (2 a c \left (a e - b d\right ) + b \left (- a b e - a c d + b^{2} d\right ) - \sqrt{- 4 a c + b^{2}} \left (- a b e - a c d + b^{2} d\right )\right ) \operatorname{atan}{\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b - \sqrt{- 4 a c + b^{2}}}} \right )}}{2 c^{\frac{3}{2}} \sqrt{b - \sqrt{- 4 a c + b^{2}}} \sqrt{- 4 a c + b^{2}} \left (a e^{2} - b d e + c d^{2}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x**6/(e*x**2+d)/(c*x**4+b*x**2+a),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.946898, size = 385, normalized size = 1.19 \[ \frac{\left (-b^2 \left (d \sqrt{b^2-4 a c}+a e\right )+a b \left (e \sqrt{b^2-4 a c}-3 c d\right )+a c \left (d \sqrt{b^2-4 a c}+2 a e\right )+b^3 d\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} c^{3/2} \sqrt{b^2-4 a c} \sqrt{b-\sqrt{b^2-4 a c}} \left (e (b d-a e)-c d^2\right )}+\frac{\left (b^2 \left (d \sqrt{b^2-4 a c}-a e\right )-a b \left (e \sqrt{b^2-4 a c}+3 c d\right )+a c \left (2 a e-d \sqrt{b^2-4 a c}\right )+b^3 d\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{\sqrt{2} c^{3/2} \sqrt{b^2-4 a c} \sqrt{\sqrt{b^2-4 a c}+b} \left (e (a e-b d)+c d^2\right )}-\frac{d^{5/2} \tan ^{-1}\left (\frac{\sqrt{e} x}{\sqrt{d}}\right )}{e^{3/2} \left (a e^2-b d e+c d^2\right )}+\frac{x}{c e} \]
Antiderivative was successfully verified.
[In] Integrate[x^6/((d + e*x^2)*(a + b*x^2 + c*x^4)),x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.042, size = 1098, normalized size = 3.4 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x^6/(e*x^2+d)/(c*x^4+b*x^2+a),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x^6/((c*x^4 + b*x^2 + a)*(e*x^2 + d)),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x^6/((c*x^4 + b*x^2 + a)*(e*x^2 + d)),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x**6/(e*x**2+d)/(c*x**4+b*x**2+a),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F(-2)] time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: TypeError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x^6/((c*x^4 + b*x^2 + a)*(e*x^2 + d)),x, algorithm="giac")
[Out]